შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Concepts in Programming Languages

Concepts in Programming Languages

John C. Mitchell, Krzysztof Apt
წელი:
2001
ენა:
english
ფაილი:
PDF, 7.59 MB
0 / 1.0
english, 2001
2
Principles of Constraint Programming

Principles of Constraint Programming

Krzysztof Apt
წელი:
2003
ენა:
english
ფაილი:
PDF, 1.74 MB
0 / 0
english, 2003
3
From Logic Programming to Prolog

From Logic Programming to Prolog

Krzysztof R. Apt
წელი:
1996
ენა:
english
ფაილი:
PDF, 1.30 MB
0 / 0
english, 1996
4
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
წელი:
2009
ენა:
english
ფაილი:
PDF, 2.10 MB
0 / 0
english, 2009
5
Principles of constraint programming

Principles of constraint programming

Krzysztof Apt
წელი:
2003
ენა:
english
ფაილი:
PDF, 1.73 MB
0 / 0
english, 2003
6
Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace
წელი:
2007
ენა:
english
ფაილი:
PDF, 1.50 MB
0 / 0
english, 2007
7
Concepts in programming languages

Concepts in programming languages

John C. Mitchell, Krzysztof Apt
წელი:
2001
ენა:
english
ფაილი:
PDF, 7.59 MB
0 / 0
english, 2001
8
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
წელი:
2011
ენა:
english
ფაილი:
PDF, 1.72 MB
0 / 0
english, 2011
9
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Krzysztof R. Apt, Robert van Rooij, eds.
წელი:
2009
ენა:
english
ფაილი:
PDF, 8.89 MB
0 / 0
english, 2009
10
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
წელი:
1997
ენა:
english
ფაილი:
PDF, 9.05 MB
0 / 0
english, 1997
14
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Krzysztof R Apt, J W de Bakker, J J M M Rutten
წელი:
1993
ენა:
english
ფაილი:
PDF, 49.82 MB
0 / 0
english, 1993
15
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
წელი:
2011
ენა:
english
ფაილი:
PDF, 1.72 MB
0 / 0
english, 2011
16
The Logic programming paradigm : a 25-year perspective

The Logic programming paradigm : a 25-year perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren (eds)
წელი:
1999
ენა:
english
ფაილი:
DJVU, 4.12 MB
0 / 0
english, 1999
21
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Apt, Krzysztof R., Rutten, J. J. M. M., Bakker, Jacobus Willem
წელი:
1993
ენა:
english
ფაილი:
DJVU, 2.08 MB
0 / 0
english, 1993
22
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
წელი:
1982
ენა:
english
ფაილი:
DJVU, 4.66 MB
0 / 0
english, 1982
24
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
წელი:
1982
ენა:
english
ფაილი:
PDF, 10.98 MB
0 / 0
english, 1982
25
A Brief History of Mathematics for Curious Minds

A Brief History of Mathematics for Curious Minds

Krzysztof R Apt
წელი:
2024
ენა:
english
ფაილი:
PDF, 40.13 MB
0 / 4.0
english, 2024
27
Logic Programming: The Joint [9th] International Conference & Symposium

Logic Programming: The Joint [9th] International Conference & Symposium

Krzysztof Apt (ed.)
წელი:
1992
ენა:
english
ფაილი:
DJVU, 9.47 MB
0 / 0
english, 1992
30
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Apt, Krzysztof R., Van Rooij, Robert
წელი:
2009
ენა:
english
ფაილი:
PDF, 12.72 MB
0 / 0
english, 2009
31
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
წელი:
2009
ენა:
english
ფაილი:
PDF, 8.45 MB
0 / 0
english, 2009
32
Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

Krzysztof R. Apt, Sunil Simon (auth.), Maria Serna (eds.)
წელი:
2012
ენა:
english
ფაილი:
PDF, 2.95 MB
0 / 0
english, 2012
33
Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
წელი:
1985
ენა:
english
ფაილი:
PDF, 18.36 MB
0 / 0
english, 1985
34
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
წელი:
1991
ენა:
english
ფაილი:
PDF, 6.94 MB
0 / 0
english, 1991
35
Logics and models of concurrent systems

Logics and models of concurrent systems

Krzysztof R Apt, North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
წელი:
1985
ენა:
english
ფაილი:
DJVU, 4.51 MB
0 / 0
english, 1985
36
Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte Programme

Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)
წელი:
1994
ენა:
german
ფაილი:
PDF, 5.39 MB
0 / 0
german, 1994
38
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
წელი:
1984
ენა:
english
ფაილი:
DJVU, 5.98 MB
0 / 0
english, 1984
39
Logics and models of concurrent systems

Logics and models of concurrent systems

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
წელი:
1985
ენა:
english
ფაილი:
DJVU, 5.18 MB
0 / 0
english, 1985
41
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
წელი:
1984
ენა:
english
ფაილი:
PDF, 14.67 MB
0 / 0
english, 1984